<html>
<body>
Reports calls to
<b>java.util.Random.nextDouble()</b>, which are used to create a positive integer number, by multiplying
the call with a factor and casting to an integer. For generating a random positive integer in a range,
<b>java.util.Random.nextInt(int)</b> is simpler and more efficient.
<!-- tooltip end -->
<p>

</body>
</html>